DFT guidance through RTL test justification and propagation analysis
نویسندگان
چکیده
We introduce a formal mechanism for capturing test justification and propagation related behavior of blocks. Based on the identified test translation behavior, an RTL testability analysis methodology for hierarchical designs is derived. An algorithm for pinpointing the local-to-global test translation controllability and observability bottlenecks is presented. The analysis results are validated through an ATPG-based experimental flow and the applicability of the scheme for addressing test challenges in large designs by guiding DFT decisions is discussed.
منابع مشابه
Dft Guidance through Rtl Test Justification and Propagation Analysis
We introduce a formal mechanism for capturing test justification and propagation related behavior of blocks. Based on the identified test translation behavior, an RTL testability analysis methodology for hierarchical designs is derived. An algorithm for pinpointing the local-to-global test translation controllability and observability bottlenecks is presented. The analysis results are validated...
متن کاملRTL Test Justification and Propagation Analysis for Modular Designs
Modular decomposition and functional abstraction are commonly employed to accommodate the growing size and complexity of modern designs. In the test domain, a divide & conquer type of approach is utilized, wherein test is locally generated at each module’s boundary and consequently translated to global design test. We present an RTL analysis methodology that identifies the test justification an...
متن کاملEfficient Sequential ATPG for Functional RTL Circuits
We present an efficient register-transfer level automatic test pattern generation (ATPG) algorithm. First, our ATPG generates a series of sequential justification and propagation paths for each RTL primitive via a deterministic branch-and-bound search process, called a test environment. Then the precomputed test vectors for the RTL primitives are plugged into the generated test environments to ...
متن کاملTRANSPARENT: A System for RTL Testability Analysis, DFT Guidance and Hierarchical Test Generation
We discuss a methodology for analyzing the testability of large hierarchical RTL designs, based upon the existence of module reachability paths, suitable for automatically deriving globally applicable test from locally generated vectors. Such reachability paths utilize module transparency behavior, as captured by the introduced channel transparency definition. Lack of transparency and unreachab...
متن کامل“ Property - based RTL Test Justification and Propagation Analysis ”
Extended Abstract: As the size and complexity of modern digital circuits increases, tools and methodologies for designing and testing them face extremely challenging barriers. Consequently, a number of approaches have been employed in order to alleviate the burdens associated with such ambitious tasks. Among them, functional abstraction from the transistor and gate level to the register transfe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998